41. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
پدیدآورنده : Rajeev Alur, Doron A. Peled )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
42. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
پدیدآورنده : Kousha Etessami, Sriram K. Rajamani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
43. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
پدیدآورنده : Rajeev Alur, Thomas A. Henzinger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1102
44. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Computer software-- Verification,Congresses ، Integrated circuits-- Verification
رده :
QA
76
.
76
.
E93
.
C38
2001
45. Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
پدیدآورنده : Gerard Berry, Hubert Comon, Alain Finkel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2102
46. Computer-hardware evaluation of mathematical functions
پدیدآورنده : Amos Omondi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer architecture.,Computer arithmetic and logic units.,Computer arithmetic.,Electronic books.,Integrated circuits-- Verification.
47. Computer-hardware evaluation of mathematical functions /
پدیدآورنده : Amos Omondi (Zed Consultants, Canada).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer architecture.,Computer arithmetic and logic units.,Computer arithmetic.,Integrated circuits-- Verification.,Computer algorithms.,Computer architecture.,Computer arithmetic and logic units.,Computer arithmetic.,Integrated circuits-- Verification.
48. Correct hardware design and verification methods : IFIP WG10.2 advanced Research Working Conference CHARME'93, Arles, France, May 24-26, 1993 : proceedings
پدیدآورنده : George J. Milne, Laurence Pierre )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
683
49. Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings
پدیدآورنده : CHARME '39 )3991: Arles, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Integrated circuits-- Design and construction-- Data processing-- Congresses,، Integrated circuits-- Verification-- Congresses,، Computer-aided design-- Congresses
رده :
TK
7874
.
C55
1993
50. Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference, CHARME'95 Frankfurt, Germany, October 1995 : proceedings
پدیدآورنده : Paolo E. Camurati, Hans Eveleing )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
987
51. Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
پدیدآورنده : Daniel Geist, Enrico Tronci, )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2860
52. Correct hardware design and verification methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Computer-aided design,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
75
.
C453
2001
53. Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
پدیدآورنده : Tiziana Margaria, Tom Melham )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2144
54. Correct hardware design and verification methods : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005 : proceedings
پدیدآورنده : Dominique Borrione, Wolfgang Paul )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
3725
55. Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
پدیدآورنده : Pierre Laurence, Thomas Kropf )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1703
56. Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
پدیدآورنده : Edited by Paolo Prinetto, Paolo Camurati
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses
رده :
TK
7874
.
A3353
1991
57. Counterfeit integrated circuits : detection and avoidance
پدیدآورنده : Tehranipoor, Mark
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Testing ، Integrated circuits,، Integrated circuits -- Verification,، Product counterfeiting
رده :
TK
7874
.
T43
58. Design and test technology for dependable systems-on-chip
پدیدآورنده : Raimund Ubar, Jaan Raik, and Heinrich Theodor Vierhaus, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Networks on a chip-- Design and construction.,Networks on a chip-- Testing.,Systems on a chip-- Design and construction.,Systems on a chip-- Testing.
59. Design of CMOS RF integrated circuits and systems
پدیدآورنده : Yeo, Kiat Seng
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Radio frequency integrated circuits,، Metal oxide semiconductors, Complementary,، Wireless communication systems
رده :
TK
7874
.
78
.
Y46
60. Design of vlsi circuits :
پدیدآورنده : Egon Horbst
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
TK7874
.
E366
2012
